Theorem machine prove
[计] 定理机器证明
🧩 词语组成解析
prove
[pru:v]
vt. 证明，证实;[法]验证，检定;显示;
vi. 显示出，证明是;
🗣️ 情景例句
You'll send yourself to an early grave.
你这样会未老先衰的。
My Biochem lectures are in the morning, and the labs are in the afternoon.
生物化学的课安排在上午，实验在下午。
It's quite simple. You put a very hot, wet cloth on your shoulder for one minute. Then put a packet of frozen peas on the shoulder for one minute. And so on and so on.
很简单。你把一块很热的湿布敷在肩膀上一分钟。然后把一包冻豌豆敷在肩膀上一分钟。这样反复几次。